The Lazy Cook Problem, or Scheduling Two Parallel Machines to Optimize Vehicle Utilization

A cook has to prepare n cakes using an oven with two racks. According to the recipe, the i-th cake has to be baked for exactly a _i minutes. Cakes to be cooked are taken from a table and carried to the oven, and once cooked are carried back to the table by means of a trolley that can carry two cakes at a time. What is the minimum number q ^* of round trips required of the cook? This problem has application to the operation scheduling of transportation systems and to material cutting. A different problem arises according to whether the cook accepts or not to stay near the oven for awhile with the trolley. If the trolley cannot be idle at the oven, an optimum schedule with no oven idle-time always exists: consequently, the trolley schedule is trivial, and the problem is transformed into a set packing. For this case, we propose and test a heuristic method which generates all of the promising columns of the set packing, and solves the resulting problem by branch-and-bound. Instead, if the trolley can be idle at the oven for a limited amount of time, a problem arises to find an optimal schedule of the trolley: in this case we show how to use a scaling technique in order to obtain a very good feasible solution by the method above.     

聚合物冷拉过程的流函数分析

用流函数法分析了聚合物拉伸成形时，颈缩的发生和扩展过程，文中论证了采用流函数法的优越性和适用性，并将流函数法计算结果和有限元法计算结果作了对比。     

以技术进步促进蒸汽能源的节约

本文运用“软科学”一即通过建立数学模型，进行系统分析和系统优化，阐述对蒸汽管网优化运行的方法及原理，达到提高供热效率及节能降耗的目的．     

波形刃铣刀片铣削温度试验分析

进行了铣削温度试验 ,采用改进的人工热电偶法 ,利用动态数据采集系统 ,对波形刃铣刀片的铣削温度进行了采集。利用C语言和MATLAB软件对试验数据进行了分析 ,拟合出温度—时间 (T t)曲线 ,初步得到了受热密度函数 ,为温度场的可视化打下有力的基础     

多级复合布尔函数性能研究

本文研究了加法复合布尔函数和乘法复合布尔函数,在平衡性、k次项系数、K次扩散准则(PC)、相关免疫 性(CI)、Walsh谱、代数次数、小项分布等方面得到了一批新结果。     

Important features of Iris OSQL

OSQL is the object-oriented database language developed for the Iris object-oriented database management system at Hewlett-Packard Laboratories. Its three fundamental constructs are objects, types, and functions. This paper provides an overview of the underlying concepts and some important features of OSQL.     

天然“药品”——蜂胶

主要介绍了蜂胶的营养成分、分类、质量标准、提取方式及保健功能。     

Key processing with control vectors

A method is presented for controlling cryptographic key usage based on control vectors. Each cryptographic key has an associated control vector that defines the permitted uses of the key within the cryptographic system. At key generation, the control vector is cryptographically coupled to the key by way of a special encryption process. Each encrypted key and control vector are stored and distributed within the cryptographic system as a single token. Decryption of a key requires respecification of the control vector. As part of the decryption process, the cryptographic hardware verifies that the requested use of the key is authorized by the control vector. This article focuses mainly on the use of control vectors in cryptosystems based on the Data Encryption Algorithm.     

Non-parametric empirical Bayes procedure

In this paper we introduce an empirical Bayes procedure for estimating an unknown parameter, say θ. This procedure gives the empirical Bayes estimator for θ and its associated minimum posterior risk in closed forms without estimating the unknown prior density function of θ. In such procedure the posterior probability density function of θ is not required. A sufficient statistic for θ with conditional probability density function in the one parameter exponential family is required. Instead of estimating the unknown prior density function, the marginal density function of the sufficient statistic must be estimated. As special cases the empirical Bayes estimators and their respective minimum posterior risks of the failure rate for the exponential distribution, the unknown scale parameters of Weibull and gamma distributions are obtained in simple forms as special cases. Numerical results and a simulation study are introduced to (i) investigate how the number of available past experiments and the sample size of each influence the accuracy of the empirical Bayes estimator, (ii) make a comparison between the presented procedure and the Bayes procedure when the prior probability density function of the parameter θ is gamma.     

Reliability and stability of executive functioning in older adults.

A number of methodological questions have been raised about the reliability and validity of measuring executive functioning (EF) across multiple time points. In this study, correlational and latent-variable analyses were used to examine test-retest reliability of 5 common measures of EF and the stability of a latent EF construct. One hundred eighteen nondemented older adults were tested twice over a 4- to 8-week period. Findings demonstrated modest reliability of individual EF measures but very high stability of a latent EF construct. Relative contributions of each measure to the latent EF factor did not change across measurement trials. In addition, age-related effects on EF were similar at the 2 time points and were within the expected range. Implications for future studies of EF are discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved)